FACT: Fast Communication Trace Collection for Parallel Applications through Program Slicing Jidong Zhai, Tianwei Sheng, Jiangzhou He, Wenguang Chen, Weimin Zheng Tsinghua National Laboratory for Information Science and T

Source URL: hpc.cs.tsinghua.edu.cn

PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science PROGRAM SLICING! PROGRAM ANALYSIS

Source URL: homepages.dcc.ufmg.br

Technical Report Nr. TUD-CSFeb. 5th, 2015 Harvesting Runtime Data in Android Applications for Identifying Malware and

Source URL: www.bodden.de

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Object-oriented programming languages
• Procedural programming languages
• Concurrent programming languages
• Program analysis
• Program slicing
• Android
• Java
• Subroutine

Bouncer: Securing Software by Blocking Bad Input Manuel Costa Miguel Castro Microsoft Research

Source URL: www.sosp2007.org

• Computing
• Software engineering
• Computer programming
• Software bugs
• Arbitrary code execution
• Program slicing
• Instruction set
• Vulnerability
• Buffer overflow
• Symbolic execution
• Operand
• Assembly language

Triage: Diagnosing Production Run Failures at the User’s Site Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos and Yuanyuan Zhou Department of Computer Science University of Illinois at Urbana Champaign

Source URL: www.sosp2007.org

• Software engineering
• Computer programming
• Computing
• Debugging
• Software quality
• Software maintenance
• Reliability engineering
• Systems engineering
• Software testing
• Fault tree analysis
• Triage
• Program slicing

Program Specialization via Program Slicing Thomas Reps and Todd Turnidge University of Wisconsin Abstract This paper concerns the use of program slicing to perform a certain kind of program-specialization operation. The

Source URL: repository.readscheme.org

• Formal languages
• Program slicing
• Recursion
• ALGOL 68
• Formal grammar
• Regular tree grammar
• Eval
• Functional programming

Runtime Analysis of Distributed Data Processing Programs Marcus Leich supervised by Prof. Volker Markl Technische Universitat ¨ Berlin Einsteinufer 17

Source URL: stratosphere.eu

• Debugging
• Software maintenance
• Program analysis
• Program slicing
• Program transformation
• Debugger
• Software bug
• Bloom filter
• Instrumentation
• D
• Data lineage

A Security Domain Model to Assess Software for Exploitable Covert Channels Alan B. Shaffer Mikhail Auguston

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Computer programming
• Concurrent programming languages
• Dependence analysis
• Static program analysis
• Information flow
• Program slicing
• Scope
• ALGOL 68
• Variable
• XC

A Proof Slicing Framework for Program Verification Ton Chanh Le, Cristian Gherghina, Razvan Voicu, and Wei-Ngan Chin Department of Computer Science, National University of Singapore Abstract. In the context of program ve

Source URL: www.comp.nus.edu.sg

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: cisr.nps.edu

• Crime prevention
• Cryptography
• Information governance
• National security
• Computer security
• Covert channel
• Information flow
• Program slicing
• Mandatory access control
• Alloy Analyzer
• Domain-specific language
• Information security